CBMC_GC_FLAGS += --arith activate_sqr --arith standard_map --arith log_map --merge
include ../make_tester.inc

